Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 (Lecture Notes in Computer Science)
by Bernd Finkbeiner,Geguang Pu,Lijun Zhang
ISBN 13: 9783319249520
Format: Paperback (536 pages) Publisher: Springer Published: 30 Dec 2015
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... 11427 (Lecture Notes in Computer Science)
by Tomáš Vojnar,Lijun Zhang
ISBN 13: 9783030174613
Format: Paperback (460 pages) Publisher: Springer Published: 06 Jun 2019
In Pursuit of Presence or Prominence?: The Prospect of Chinese Banks' Global Expansion and Their Benchmarks (Current Chinese Economic Report Series)
by Shenglin Ben,Jiefang Yu,Yue Gu,Jiamin Lv,Lijun Zhang,Huichao Gong,Hanting Gu,Qi Shuai
ISBN 13: 9789811339899
Format: Paperback (196 pages) Publisher: Springer Published: 10 Apr 2019
Chinese Folklore Studies Today: Discourse and Practice
by Chao Gejin,Lijun Zhang,Ziying You
ISBN 13: 9780253044099
Format: Illustrated (208 pages) Publisher: Indiana University Press Published: 01 Nov 2019
by Lijun Zhang,Ziying You
ISBN 13: 9780253044105
Format: Illustrated (196 pages) Publisher: Indiana University Press Published: 01 Nov 2019
Discrete-Time and Discrete-Space Dynamical Systems (Communications and Control Engineering)
by Kuize Zhang,Lijun Zhang,Lihua Xie
ISBN 13: 9783030259747
Format: Paperback (236 pages) Publisher: Springer Published: 27 Aug 2020
Living in Heritage: Tulou as Vernacular Architecture, Global Asset, and Tourist Destination in Contemporary China (Material Vernaculars)
by Lijun Zhang
ISBN 13: 9780253070975
Format: Paperback (208 pages) Publisher: Indiana University Press Published: 01 Oct 2024
by Kuize Zhang, Lijun Zhang, Lihua Xie
ISBN 13: 9783030259716
Format: Hardcover (236 pages) Publisher: Springer Published: 27 Aug 2019